ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
نویسندگان
چکیده
منابع مشابه
Some fixed point theorems and common fixed point theorem in log-convex structure
Some fixed point theorems and common fixed point theorem in Logarithmic convex structure areproved.
متن کاملComplete Axioms for Categorical Fixed-Point Operators
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We prove a general completeness theorem for iteration operators, relying on a new, purely syntactic characterisation of the free iteration theory. We then show how iteration operators arise in axiomatic domain theory. One re...
متن کاملSome Fixed Point Theorems
Introduction. We wish to summarize here some new asymptotic fixed point theorems. By an asymptotic fixed point theorem we mean roughly a theorem in functional analysis in which the existence of fixed points of a map ƒ is proved with the aid of assumptions on the iterates f of ƒ. Such theorems have proved of use in the theory of ordinary and functional differential equations (see [7], [8], [9] a...
متن کاملSome results on coupled fixed point and fixed point theory in partially ordered probabilistic like (quasi) Menger spaces
In this paper, we define the concept of probabilistic like Menger (probabilistic like quasi Menger) space (briefly, PLM-space (PLqM-space)). We present some coupled fixed point and fixed point results for certain contraction type maps in partially order PLM-spaces (PLqM- spaces).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2018
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2018.12